ON THE PROBLEM OF EXPANSION OF MATRIX SEMANTICS ADEQUATE TO CLASSICAL IMPLICATIVE LOGIC TO MATRIX SEMANTICS ADEQUATE TO CLASSICAL IMPLICATIVE-NEGATIVE LOGIC (PART 4)

Эта статья находится в русле исследований проблемы расширения семантики, адекватной собственному фрагменту логики, до этой логике. Основное содержание статьи представлено двух разделах (первый раздел и второй раздел). В первом разделе установлено следующее: ⟨M (1/2, 0, 1, 1), ¬(1/2, 1)⟩ ¬(0, — все L⊃¬ -матрицы вида f⟩, адекватные классической импликативно-негативной логике Cl⊃¬ , а (0, 1/2, L⊃¬-матрицы Cl⊃¬. Во втором перечислены ⟨{1, 0}, {1}, g, . This article is in the mainstream of research into problem expansion a semantics adequate to proper fragment logic this logic. The main content presented two sections, first section and second section. establishes following: are all L⊃¬-matrices form f⟩ classical implicativenegative implicative-negative In we give list -matrices each which